Формальная арифметика - определение. Что такое Формальная арифметика
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Формальная арифметика - определение

Аксиома полной индукции; Аксиома индукции; Арифметика Пеано; Формальная арифметика; Теория S; Принцип индукции; Аксиоматика Пеано
Найдено результатов: 69
Формальная арифметика         

формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, ' (прибавление 1) и логические связки (см. Логические операции). Постулатами Ф. а. являются аксиомы (См. Аксиома) и правила вывода (См. Правило вывода) исчисления предикатов (классического или интуиционистского в зависимости от того, какая Ф. а. рассматривается), определяющие равенства для арифметических операций:

а + 0 = а, а + b' = (а + b),

а •0 = 0, аb' = (аb) + а,

аксиомы Пеано:

⌉(а' = 0), a'= b'а = b,

(a = b & а = с) → b = с, а = ba' = b'

и схема аксиом индукции:

А (0) & x (А (х) → А (x')) → xa (x).

Средства Ф. а. достаточны для вывода теорем элементарной теории чисел. В настоящее время, по-видимому, неизвестно ни одной содержательной теоретико-числовой теоремы, доказанной без привлечения средств анализа, которая не была бы выводима в Ф. а. В Ф. а. изобразимы Рекурсивные функции и доказуемы их определяющие равенства. Это позволяет, в частности, формулировать суждения о конечных множествах. Более того, Ф. а. эквивалентна аксиоматической теории множеств (См. Аксиоматическая теория множеств) Цермело - Френкеля без аксиомы бесконечности: в каждой из этих систем может быть построена модель другой.

Ф. а. удовлетворяет условиям обеих теорем Гёделя о неполноте. В частности, имеются такие полиномы Р, Q от 9 переменных, что формула x1... x9 (PQ) невыводима, хотя и выражает истинное суждение, а именно непротиворечивость Ф. а. Поэтому неразрешимость диофантова уравнения Р - Q = 0 недоказуема в Ф. а. Непротиворечивость Ф. а. доказана с помощью трасфинитной индукции до ординала ε0 (наименьшее решение уравнения ωε = ε). Поэтому схема индукции до ε0 недоказуема в Ф. а., хотя там доказуема схема индукции до любого ординала α < ε0. Класс доказуемо рекурсивных функций Ф. а. (т. е. частично рекурсивных функций, общерекурсивность которых может быть установлена средствами Ф. а.) совпадает с классом ординально рекурсивных функций с ординалами < ε0.

Не все теоретико-числовые предикаты выразимы в Ф. а.: примером является такой предикат T, что для любой замкнутой арифметической формулы А имеет место Т (⌈А⌉) ↔ А, где ⌈А⌉ - номер формулы А в некоторой фиксированной нумерации, удовлетворяющей естественным условиям. Присоединение к Ф. а. символа Т с аксиомами типа

Т (⌈А & B⌉) ↔ Т (⌈А⌉) & Т (⌈B⌉),

выражающими его перестановочность с логическими связками, позволяет доказать непротиворечивость Ф. а. Похожая конструкция (но уже внутри Ф. а.) доказывает, что схему индукции нельзя заменить никаким конечным множеством аксиом. Ф. а. корректна и полна относительно формул вида ∃x1... ∃xk (P = Q); замкнутая формула из этого класса доказуема тогда и только тогда, когда она истинна. Так как этот класс содержит алгоритмически неразрешимый предикат, отсюда следует, что проблема выводимости в Ф. а. алгоритмически неразрешима.

При задании Ф. а. в виде генценовской системы осуществима нормализация выводов, причём нормальный вывод числового равенства состоит только из числовых равенств. На этом пути было получено первое доказательство непротиворечивости Ф. а. Нормальный вывод формулы с кванторами может содержать сколь угодно сложные формулы. Полная подформульность достигается после замены схемы индукции на со-правило, позволяющее вывести В → ∀xA (x) из ВA (0), B A (1),... Понятие ω-вывода (т. е. вывода с ω-правилом) высоты < ε0 выразимо в Ф. а., поэтому переход к ω-выводам позволяет устанавливать в Ф. а. многие метаматематические теоремы, в частности полноту относительно формул вида ∃x1... xk (P = Q) и ординальную характеристику доказуемо рекурсивных функций.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Hilbert D., Bernays P., Grundlagen der Mathematik, 2 Aufl., Bd 1-2, В., 1968-70.

Г. Е. Минц.

Аксиомы Пеано         
Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в 1889 году итальянским математиком Джузеппе Пеано.
Универсальная арифметика         
  • <center>Английское издание (1720)</center>
«Универсальная арифметика» (или «Всеобщая арифметика», ) — монография Исаака Ньютона, впервые опубликованная в 1707 году на латинском языке. Универсальной арифметикой Ньютон называл алгебру, и данный труд внёс существенный вклад в развитие этого раздела математики.
Электроника ИМ-50         
  • thumb
ЭЛЕКТРОННАЯ ИГРА
Электроника ИМ-50 - Весёлая арифметика
Электроника ИМ-50. Весёлая арифметика — электронная игра, одна из серии советских портативных электронных игр с жидкокристаллическим экраном, производимых под торговой маркой Электроника. Все электронные микропроцессорные игры серии Электроника имеют схожий дизайн и управление, по сути многие игры являлись клонами игры Электроника ИМ-02. Ну, погоди!, «Веселый повар» и «Тайны океана» только с разными дисплеями, но «Весёлая арифметика», как и «Авторалли», наиболее отлична от других игр серии.
Формальная теория доказательств         
Формальная теория доказательств — один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии строго определённого законом набора фактов, а для каждого факта закон полностью определяет его существенность и обстоятельства, при которых факт должен быть признан действительным доказательством.
Арифметика         
  • <math>3+2=5</math>
  • [[Вавилонские цифры]]
  • Переместительный закон умножения
  • right
  • Деление 20 на 4
  • Страница латинского перевода книги «Об индийском счёте»
  • аксиомы натуральных чисел]]
  • Индийские цифры (I век н. э.) и соответствующие им современные цифры
  • Мартин де Вос]]. Семь сестёр. 1590
  • Числовая ось
  • Часть папируса Райнда
  • thumb
  • <math>5-2=3</math>
  • Арифметические таблицы. 1835
  • Одно яблоко, два яблока, три яблока. Натуральные числа
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЧИСЛА, ИХ ОТНОШЕНИЯ И СВОЙСТВА
Арифметика, наука
Арифметика (от греч. слов ariJmoV - число и tecnh - искусство) -часть математики, которая занимается изучением свойств определенныхконкретных величин; в более тесном смысле А. есть наука о числах,выраженных цифрами, и занимается действиями над числами. А. можно делитьна низшую и высшую, понимая под первой четыре основных действия с целымии дробными числами и их практические применения, учение о пропорциях,возвышение в степень, извлечение квадратных и кубичных корней и решениечисленных уравнений, между тем как высшая А. занимается исследованиемсвойств чисел вообще, деления целых чисел на части, непрерывных дробей ипр. - А. находится в тесной, неразрывной связи с алгеброй, которуюНьютон называл "Общей арифметикой"; вот почему действия - возвышение встепени, извлечение корней и решения численных уравнений, относящиесясобственно к алгебре, должны войти в состав А., рассматривая последнююкак техническую часть алгебры. Рассматривая возвышение в степень, какчастный случай умножения и принимая во внимание, что при извлечениикорней и решении численных уравнений мы производим какое-либо из четырехосновных действий, некоторые математики силились ограничить А. лишьосновными действиями, а именно: сложения, вычитания, умножения иделения, но подобное ограничение несправедливо, так как тривторостепенных действия А. производятся в известном порядке, которыйсоставляет существенную часть каждого действия. Многие писателизатруднялись разграничением алгебры от А.; так как первая занимаетсятеми же действиями, что и вторая. Приняв однако в соображение, чтоалгебра доказывает те правила, которыми А. руководствуется, и чтоалгебра имеет предметом преобразование действий одних в другие так,чтобы А. оставалось лишь исполнение самых простейших действий, можнотаким образом утверждать, что алгебра есть обобщенная А., которая, всвою очередь, есть наука о числах и свойствах вполне определенныхвеличин. История А. Трудно сказать что-либо положительное о времени и местерождения А. Многочисленные исследователи этого вопроса приписываютоткрытие истин А. различным народностям и приурочивают его к разнымэпохам. Историк Иосиф Флавий ("Древняя иудея", кн. I, гл. 8) утверждает,что еще праотец Авраам, в пребывании своем в Египте, во время голода,постигшего Ханаанскую землю, первый обучил египтян арифметике иастрономии. Платон (in Phaedro)и Диоген Лаэрций (in Proemio) тожесчитают Египет колыбелью А. и геометрии. Они говорят, что числа,числительное искусство и геометрия ниспосланы египтянам от их бога Тевта(Theut) или Тота (Thot), владевшего торговлей и числами, подобногреческому Меркурию. Другие, более позднейшие, исследователи полагают,что А. открыта халдейцами, а Страбон в своей "Географии", говорит, чтосовременники его приписывали изобретение А. финикиянам, так как онипервые стали производить обширную торговлю, которая, без сомнения,требовала некоторых познаний в счетной науке. Оставляя однако в сторонеподобные догадки, достоверным можно принять относительно историческогопроисхождения А., что люди начали считать с того самого отдаленноговремени, когда, приходя во взаимное столкновение между собою, они сталигруппироваться в общества, ибо, без сомнения, они знали число членовсвоих семейств, считали свои стада и т. п. Таким образом, начало А.должно отнести к эпохе первого проявления гражданского строя средилюдей; что же касается усовершенствования первобытных понятий осчислении, то они должны быть отнесены к гораздо позднейшим временам.Первыми историческими математиками, сознательно излагавшими А., какнауку, должны быть признаны древние греки, а именно: Евклид (7 - 10книги его "Элементов"), Диофант - математик IV ст. до Р. Х. (оставил посебе 13 трактатов, из которых до нас дошло 6) и Никомах, живший в I векедо Р. Х. В их сочинениях мы встречаемся с двумя различными терминами:Logistikh - логистика, так наз. "числительное искусство" и ariJmhtekh -арифметика - наука о свойствах чисел; очевидно, что древние грекиразличали особенными именами практическую часть А. от теоретической.Греки, обогатив А., заимствованную ими, вероятно, от египтян, передалиее через Александрийскую школу римлянам и арабам, от которых онаначинает проникать повсюду лишь в эпоху Возрождения. Открытиекнигопечатания оказало немаловажную услугу распространениюпервоначальных истин А. Насколько медленно проникали во всеобщеесознание эти истины до эпохи Возрождения, видно из того факта, что дажеу арабов, ревностных носителей "математический цивилизации", всякийзнавший едва четыре основных действия А., считался ученым математиком;при всем том число подобных ученых было весьма ограничено. С открытиякнигопечатания стали чаще появляться монографии и трактаты по А.,которые хотя не вносили ничего нового в А., унаследованную от арабов игреков, но вместе с тем получался толчок к усовершенствованию древнихметодов. В 1478 г. была напечатана в С.-Альбанс одно из выдающихсясочинений по А., под заглавием: "Rhetorica nova Gulielmi de Saona", вкотором с особой ясностью изложены простейшие действия А. или"Алгоризма", как еще называли греки А-у. почти одновременно, в 1484году, вышло прекрасное сочинение итальянца Лукаса де Бурго: "Summa deArithmetica, Geometria, Proportioni et Proportionalita", в котором А.посвящен длинный обзор состояния этой науки до конца XV-го столетия., Сначала XVI-го века появляются все чаще мемуары по А., обогащенные новымисведениями, сравнительно с арабскими и унаследованными от Диофанта. Так,в 1686 г. вводятся десятичные дроби Симоном Стевином - весьмасущественное прибавление к так называемому Алгоризму. Голландец АльбертЖирар почти одновременно распространяет наше письменное счисление надесятичные дроби, а англичанин Райт (Wright) в 1616 г. заключил даже вскобки сложные знаки; в следующем же году, знаменитый Непер (Napier)доводить знакоположение А. до нынешнего ее состояния. Одной из самых интересных страниц истории А. должно признать вопрос осчислении. Сведения, собранные различными исследователями этого важноговопроса, сводятся к тому заключению, что почти у всех народов, споконвеков, была принята система десятеричного счисления. Джордж Пикок(Peacock) проф. кембриджского универ., приводит в своей статье об А. для"Encyclopedia metropolitana of pure mathematics" прекрасные данные осистемах счисления даже у диких племен, и там мы встречаем десятьразличных слов у каждого наречия, которые служат основанием счисления.Объяснения подобного совпадения систем должно искать в факте наличностидесяти пальцев у человека, который, на первых ступенях своего развития,естественно, прибегал к своим пальцам для выражения числа. Письменноесчисление десятью цифрами получило свое начало, как надо полагать, наВостоке, а именно: у индусов, которые передали свое искусство дляусовершенствования арабам, изучившим творения греков по "числительномуискусству". Вполне достоверно, на основании дошедших до нас памятников,что арабы еще в конце X века совершенно понимали употребление 10 цифр ине могли не сообщить своего знания всем народам, с которыми имелисношения. В начале XI века мавры, овладевшие Испанией, прилежнозанимались там математикой и особенно "Логистикой" греков и послужили,таким образом, впоследствии такими же наставниками по математике дляхристианского мира, как египтяне для греков. С появлением цифр впереводе Птолемеева "Алмагеста", изданном в Испании в 1136 г., индийское(так назыв. ныне арабское) знакоположение делается употребительнейшиммежду учеными. В общежитии, однако, римские цифры господствовали дополовины XV в., когда наступает некоторым образом эпоха смешения римскихи арабских знаков; малопомалу римские знаки уступают место арабским,среди ученых, благодаря которым арабские и делаются всеобщим достоянием.Понятно, что весьма трудно проследить весь процесс преобразования нашегосчисления; прибавим поэтому только, что А. достигла настоящей степенисовершенства лишь благодаря гениальным трудам корифеев математикипоследних двух столетий; достаточно упомянуть имена Ньютона, Лейбница,Валлиса, Эйлера и др., чтобы представить себе, сколько трудов былопотрачено, пока А. достигла той степени изящества и простоты, на которуюона возведена в настоящее время. Не безынтересно будет упомянуть, как постепенно распространялась А. внашем отечестве. Карамзин полагает ("История Госуд. Рос. ", т. X, стр.259), что первая русская А. появилась в исходе XVI ст., под следующимназванием: "Книга, рекома по-гречески Арифметика, по-немецки Алгорисма,а по-русски - Цифирная счетная мудрость". В предисловии к этомусочинению, между прочим, сказано: "Сир, сын Амноров, муж мудр бысть; сийже написал численную сию философию финическими письмены, яко же онмудрый глаголет, яко безплотна сущи начала, телеса же преминующая... Безсея книги ни един философ, ни дохтур не может быти; а кто сию мудростьзнает, может быть у государя в великой чти и в жалованьи; по сеймудрости гости по государствам торгуют и во всяких товарах и в торгахсилу знают, и во всяких весех и в мерах и в земном верстании и в морскомтечении зело искусны и счет из всякого числа перечню знают". Этовитиеватое предисловие наглядно показывает, что ничего систематическогонельзя ожидать от подобного арифметического курса. Действительно, мы тутимеем дело с обрывочными сведениями о 4-х первоначальных действиях,трактованных еще по древнему методу греков; при этом мы находим такжеримские цифры, а не арабские. С арабскими цифрами А. была впервыесочинена и опубликована у нас учителем математики на Сухаревой башне (вМоскве) Леонтием Магницким, в 1703 г. По мнению другого исследователярусской старины Голикова (см. "Дополнения к деяниям", кн. V, стр. 78),Петр Великий привез в 1698 г. из Лондона многих ученых морских офицеров,в числе коих был Фергарсон, который будто ввел впервые в России арабскиецифры. Бесспорно, что со времени великого преобразователя России А.,наравне с другими науками, получает свое направление с Запада исовершенствуется, сообразно состоянию А. у наших соседей. Благодаря жетрудам знаменитого Эйлера, бывшего академиком нашей академии наук, ицелой плеяды славных его учеников, А. вместе с алгеброй получаютсамостоятельное направление и, независимо от иностранных математиков,движутся быстрыми шагами вперед, дойдя до той формы, которую А.сохранила до настоящего времени. Мы ограничились лишь кратким обзоромистории А., отсылая читателя за подробностями к соответствующим статьям,составляющим содержание А., и к специальным сочинениям, перечисленнымнами ниже. Содержание А. Низшая А. К этому отделу причисляют обыкновенно: четыреосновных действия с целыми и дробными числами, учение об отношениях ипропорциях, тройное правило и основанные на нем: проценты, учет векселейи правила - цепное, товарищества и смешения. К высшей А. относятисследование свойств чисел вообще и деление целых чисел на части. Крометого, различают еще практическую А. от теоретической, что подходит подделение А. на низшую и высшую. Надо еще упомянуть о так называемойполитической А., под которой понимают применение общей А. к вычислениюрент, лотерей, эмеритур и пр., хотя все эти вопросы основаны,собственно, на теории вероятностей. Литература А. Евклида, "Elementa" - около конца IV стол.; Диофанта,"Arithmetica" (III в.); Никомаха, "Theologumena Arithmetices" (I в. доР. Х.); Боэций (VI ст. после Р. Х.); Сакро-Боско (1226), "Algorithmusseu Arithmeticaein troductio" (изд. в Венеции 1623); Иордан Немогарий(1524, напечатано готическим шрифтом); Стифелия, "Arithmetica Integra"(1544); Бернард Солиньяк (Solignac) (1580); Адам Риз (Reesse, 1610);ПетрАпианий (1627); Альберт Жирар (1629); Валлиса, "Arithmetica infinitorum"(1655);Ньютона, "Opera" (1666); Лейбница, "Opera" (1677); Паппа,"Collectanea Маthematica"; Лесли, "Philosophy of Mathematics"; Эйлер,Абель, Лагранж, Де-Моавр, Гаусс, Коши и др. Учебники на русском языке,Малинин и Буренин, Буссе, Леве и мн. др.
арифметика         
  • <math>3+2=5</math>
  • [[Вавилонские цифры]]
  • Переместительный закон умножения
  • right
  • Деление 20 на 4
  • Страница латинского перевода книги «Об индийском счёте»
  • аксиомы натуральных чисел]]
  • Индийские цифры (I век н. э.) и соответствующие им современные цифры
  • Мартин де Вос]]. Семь сестёр. 1590
  • Числовая ось
  • Часть папируса Райнда
  • thumb
  • <math>5-2=3</math>
  • Арифметические таблицы. 1835
  • Одно яблоко, два яблока, три яблока. Натуральные числа
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЧИСЛА, ИХ ОТНОШЕНИЯ И СВОЙСТВА
Арифметика, наука
ж.
1) Раздел математики, изучающий простейшие свойства чисел, способы их записи и действия над ними.
2) Учебный предмет, содержащий основы данного раздела математики.
3) разг. Учебник, излагающий содержание данного учебного предмета.
Арифметика         
  • <math>3+2=5</math>
  • [[Вавилонские цифры]]
  • Переместительный закон умножения
  • right
  • Деление 20 на 4
  • Страница латинского перевода книги «Об индийском счёте»
  • аксиомы натуральных чисел]]
  • Индийские цифры (I век н. э.) и соответствующие им современные цифры
  • Мартин де Вос]]. Семь сестёр. 1590
  • Числовая ось
  • Часть папируса Райнда
  • thumb
  • <math>5-2=3</math>
  • Арифметические таблицы. 1835
  • Одно яблоко, два яблока, три яблока. Натуральные числа
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЧИСЛА, ИХ ОТНОШЕНИЯ И СВОЙСТВА
Арифметика, наука
Арифме́тика ( — от «число») — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа (натуральные, целые, рациональные, вещественные, комплексные числа) и его свойства.
АРИФМЕТИКА         
  • <math>3+2=5</math>
  • [[Вавилонские цифры]]
  • Переместительный закон умножения
  • right
  • Деление 20 на 4
  • Страница латинского перевода книги «Об индийском счёте»
  • аксиомы натуральных чисел]]
  • Индийские цифры (I век н. э.) и соответствующие им современные цифры
  • Мартин де Вос]]. Семь сестёр. 1590
  • Числовая ось
  • Часть папируса Райнда
  • thumb
  • <math>5-2=3</math>
  • Арифметические таблицы. 1835
  • Одно яблоко, два яблока, три яблока. Натуральные числа
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЧИСЛА, ИХ ОТНОШЕНИЯ И СВОЙСТВА
Арифметика, наука
искусство вычислений, производимых с положительными действительными числами.
Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные области: одна касалась непосредственно свойств чисел, другая была связана с техникой счета. Под "арифметикой" во многих странах обычно имеется ввиду именно эта последняя область, которая несомненно является старейшей отраслью математики.
По-видимому, наибольшую трудность у древних вычислителей вызывала работа с дробями. Об этом можно судить по папирусу Ахмеса (называемому также папирусом Ринда), древнеегипетскому сочинению по математике, датируемому примерно 1650 до н.э. Все дроби, упоминаемые в папирусе, за исключением 2/3, имеют числители, равные 1. Трудность обращения с дробями заметна и при изучении древневавилонских клинописных табличек. И древние египтяне, и вавилоняне, по-видимому, производили вычисления с помощью некоторой разновидности абака. Наука о числах получила у древних греков существенное развитие начиная с Пифагора, около 530 до н.э. Что же касается непосредственно техники вычисления, то в этой области греками было сделано гораздо меньше.
Жившие позднее римляне, напротив, практически не внесли никакого вклада в науку о числе, зато исходя из нужд быстро развивавшихся производства и торговли усовершенствовали абак как счетное устройство. О зарождении индийской арифметики известно очень мало. До нас дошли лишь некоторые более поздние работы о теории и практике операций с числами, написанные уже после того, как индийская позиционная система была усовершенствована посредством включения в нее нуля. Когда в точности это произошло, нам достоверно неизвестно, но именно тогда были заложены основы для наших наиболее распространенных арифметических алгоритмов (см. также ЦИФРЫ И СИСТЕМЫ СЧИСЛЕНИЯ).
Индийская система счисления и первые арифметические алгоритмы были заимствованы арабами. Самый ранний из дошедших до нас арабских учебников арифметики был написан аль-Хорезми около 825. В нем широко используются и объясняются индийские цифры. Позднее этот учебник был переведен на латынь и оказал значительное влияние на Западную Европу. Искаженный вариант имени аль-Хорезми дошел до нас в слове "алгоризм", которое при дальнейшем смешении с греческим словом аритмос превратилось в термин "алгоритм".
Индо-арабская арифметика стала известна в Западной Европе в основном благодаря сочинению Л.Фибоначчи Книга абака (Liber abaci, 1202). Метод абацистов предлагал упрощения, подобные использованию нашей позиционной системы, во всяком случае для сложения и умножения. Абацистов сменили алгоритмики, которые использовали нуль и арабский метод деления и извлечения квадратного корня. Один из первых учебников арифметики, автор которого нам неизвестен, вышел в Тревизо (Италия) в 1478. В нем речь шла о расчетах при совершении торговых сделок. Этот учебник стал предшественником многих появившихся впоследствии учебников арифметики. До начала 17 в. в Европе было опубликовано более трехсот таких учебников. Арифметические алгоритмы за это время были существенно усовершенствованы. В 16-17 вв. появились символы арифметических операций, такие как ?, ?, ?, ?, . и .
Принято считать, что десятичные дроби изобрел в 1585 С.Стевин, логарифмы - Дж.Непер в 1614, логарифмическую линейку - У.Оутред в 1622. Современные аналоговые и цифровые вычислительные устройства были изобретены в середине 20 в. См. также МАТЕМАТИКА; МАТЕМАТИКИ ИСТОРИЯ; ЧИСЕЛ ТЕОРИЯ; РЯДЫ.
Механизация арифметических вычислений. С развитием общества росла и потребность в более быстрых и точных вычислениях. Эта потребность вызвала к жизни четыре замечательных изобретения: индо-арабские числовые обозначения, десятичные дроби, логарифмы и современные вычислительные машины.
На самом деле простейшие счетные устройства существовали до появления современной арифметики, ибо в древности элементарные арифметические операции производились на абаке (в России с этой целью использовались счеты). Простейшим современным вычислительным устройством можно считать логарифмическую линейку, представляющую собой две скользящие одна вдоль другой логарифмические шкалы, что позволяет производить умножение и деление, суммируя и вычитая отрезки шкал. Изобретателем первой механической суммирующей машины принято считать Б.Паскаля (1642). Позднее в том же столетии Г.Лейбниц (1671) в Германии и С.Морленд (1673) в Англии изобрели машины для выполнения умножения. Эти машины стали предшественницами настольных вычислительных устройств (арифмометров) 20 в., позволявших быстро и точно производить операции сложения, вычитания, умножения и деления.
В 1812 английский математик Ч.Бэббидж приступил к созданию проекта машины для вычисления математических таблиц. Хотя работа над проектом продолжалась долгие годы, она так и осталась незавершенной. Тем не менее проект Бэббиджа послужил стимулом к созданию современных электронных вычислительных машин, первые образцы которых появились около 1944. Быстродействие этих машин поражало воображение: с их помощью за минуты или часы удавалось решить задачи, ранее требовавшие многих лет непрерывных вычислений даже с применением арифмометров.
Суть дела можно пояснить на примере конкретной арифметической задачи, например, вычисления числа . (отношения длины окружности к ее диаметру). Первые систематические попытки вычисления . встречаются у Архимеда (ок. 240 до н.э.). Используя весьма несовершенную систему счисления, он после долгих трудов сумел вычислить . с точностью, эквивалентной в нашей современной системе счисления двум знакам после запятой. Используя метод Архимеда, Л.ван Цейлен (1540-1610), посвятив этому значительную часть жизни, сумел вычислить . с точностью 35 знаков после запятой. В 1873 после пятнадцати лет работы У.Шенкс получил значение . с 707 знаками, но позднее выяснилось, что начиная с 528-го знака в его вычисления вкрались ошибки. В 1958 компьютер фирмы ИБМ вычислил за 40 секунд 707 знаков числа . и, продолжая далее вычисления, получил за 100 минут 10000 знаков. См. также КОМПЬЮТЕР; ЧИСЛО p.
Целые положительные числа. Основой наших представлений о числах являются интуитивные понятия множества, соответствия между множествами и бесконечной последовательности различимых знаков или звуков. Знакомая всем нам последовательность символов 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, ??. есть не что иное, как бесконечная последовательность различимых знаков и бесконечная последовательность различимых звуков (или слов) "один", "два", "три", "четыре", "пять", "шесть", "семь", "восемь", "девять", "десять", "одиннадцать", "двенадцать", ???, соответствующих определенным символам. Любое множество, все элементы которого можно поставить во взаимно однозначное соответствие с элементами некоторого начального сегмента нашей бесконечной последовательности символов, называется конечным множеством. При этом на число элементов множества указывает последний символ сегмента. Например, множество предметов, которые можно поставить во взаимно однозначное соответствие с начальным сегментом 1, 2, 3, 4, 5, 6, 7, 8, является конечным множеством, содержащим 8 ("восемь") элементов. Символ 8 указывает на "число" предметов в исходном множестве. Это число есть символ, или ярлык, приписываемый данному множеству. Этот же ярлык приписывается всем тем и только тем множествам, которые могут быть поставлены во взаимно однозначное соответствие с данным множеством. Однозначное определение ярлыка для любого заданного конечного множества называется "пересчитыванием" элементов данного множества, а сами ярлыки получили название натуральных или целых положительных чисел (см. также ЧИСЛО; МНОЖЕСТВ ТЕОРИЯ).
Пусть A и B - два конечных множества, не имеющие общих элементов, и пусть A содержит n элементов, а B содержит m элементов. Тогда множество S, состоящее из всех элементов множеств A и B, взятых вместе, является конечным множеством, содержащим, скажем, s элементов. Например, если А состоит из элементов {a, b, c}, множество В - из элементов {x, y}, то множество S = A + B и состоит из элементов {a, b, c, x, y}. Число s называется суммой чисел n и m, и мы записываем это так: s = n + m. В этой записи числа n и m называются слагаемыми, операция нахождения суммы - сложением. Символ операции "+" читается как "плюс". Множество P, состоящее из всех упорядоченных пар, в которых первый элемент выбран из множества A, а второй - из множества B, является конечным множеством, содержащим, скажем, p элементов. Например, если, как и прежде, A = {a, b, c}, B = {x, y}, то P = A?B = {(a,x), (a,y), (b,x), (b,y), (c,x), (c,y)}. Число p называется произведением чисел a и b, и мы записываем это так: p = a?b или p = a?b. Числа a и b в произведении называются множителями, операция нахождения произведения - умножением. Символ операции . читается как "умноженное на".
Можно показать, что из этих определений следуют приводимые ниже фундаментальные законы сложения и умножения целых чисел:
- закон коммутативности сложения: a + b = b + a;
- закон ассоциативности сложения: a + (b + c) = (a + b) + c;
- закон коммутативности умножения: a?b = b?a;
- закон ассоциативности умножения: a?(b?c) = (a?b)?c;
- закон дистрибутивности: a?(b + c)= (a?b) + (a?c).
Если a и b - два положительных целых числа и если существует положительное целое число c, такое, что a = b + c, то мы говорим, что a больше b (это записывается так: a b), или что b меньше a (это записывается так: b < a). Для любых двух чисел a и b выполняется одно из трех соотношений: либо a = b, либо a b, либо a < b.
Первые два фундаментальных закона говорят о том, что сумма двух или большего числа слагаемых не зависит от того, как они сгруппированы и в каком порядке они расположены. Аналогично, из третьего и четвертого законов следует, что произведение двух или большего числа множителей не зависит от того, как сгруппированы множители и каков их порядок. Эти факты известны как "обобщенные законы коммутативности и ассоциативности" сложения и умножения. Из них следует, что при написании суммы нескольких слагаемых или произведения нескольких множителей порядок слагаемых и множителей несуществен и можно опустить скобки.
В частности, повторная сумма a + a + ... + a из n слагаемых равна n?a. Повторное произведение a?a. ...??a из n множителей условились обозначать an; число a называется основанием, а число n - показателем повторного произведения, само повторное произведение - n-й степенью числа a. Эти определения позволяют установить следующие фундаментальные законы для показателей степени:
Еще одно важное следствие из определений: a?1 = a для любого целого числа a, причем 1 - единственное целое число, обладающее этим свойством. Число 1 называется единицей.
Делители целых чисел. Если a, b, c - целые числа и a?b = c, то a и b являются делителями числа c. Так как a?1 = a для любого целого числа a, мы заключаем, что 1 - делитель любого целого числа и что любое целое число есть делитель самого себя. Любой делитель целого числа a, отличный от 1 или a, получил название собственного делителя числа a.
Любое целое число, отличное от 1 и не имеющее собственных делителей, называется простым числом. (Примером простого числа может служить число 7.) Целое число, имеющее собственные делители, называется составным числом. (Например, число 6 составное, так как 2 делит 6.) Из сказанного следует, что множество всех целых чисел подразделяется на три класса: единица, простые числа и составные числа.
В теории чисел есть очень важная теорема, которая утверждает, что "любое целое число может быть представлено в виде произведения простых чисел, и с точностью до порядка множителей такое представление единственно". Эта теорема известна как "основная теорема арифметики". Она показывает, что простые числа служат теми "кирпичиками", из которых с помощью умножения можно построить все целые числа, отличные от единицы.
Если задано некоторое множество целых чисел, то наибольшее целое число, которое является делителем каждого числа, входящего в это множество, называется наибольшим общим делителем данного множества чисел; наименьшее целое число, делителем которого служит каждое число из данного множества, называется наименьшим общим кратным данного множества чисел. Так, наибольший общий делитель чисел 12, 18 и 30 равен 6. Наименьшее общее кратное тех же самых чисел равно 180. Если наибольший общий делитель двух целых чисел a и b равен 1, то числа a и b называются взаимно простыми. Например, числа 8 и 9 - взаимно простые, хотя ни одно из них не является простым.
Положительные рациональные числа. Как мы видели, целые числа являются абстракциями, возникающими из процесса пересчета конечных наборов предметов. Однако для потребностей повседневной жизни целых чисел оказывается недостаточно. Например, при измерении длины крышки стола принятая единица измерения может оказаться слишком большой и не укладываться целое число раз в измеряемой длине. Чтобы справиться с подобной трудностью, с помощью т.н. дробных (т.е., буквально, "поломанных") чисел вводится меньшая единица длины. Если d - некоторое целое число, то дробная единица 1/d определяется свойством d?1/d = 1, и если n - целое число, то n?1/d мы записываем просто как n/d. Такие новые числа получили название "обыкновенных" или "простых" дробей. Целое число n называется числителем дроби, а число d - знаменателем. Знаменатель показывает, на сколько равных долей разделили единицу, а числитель показывает, сколько таких долей взяли. Если n < d, дробь называется правильной; если же n = d или n d, то - неправильной. Целые числа рассматриваются как дроби с знаменателем, равным 1; например, 2 = 2/1.
Так как дробь n/d можно интерпретировать как результат деления n единиц на d равных долей и взятия одной из таких долей, дробь можно рассматривать как "частное" или "отношение" двух целых чисел n и d, а черту дроби понимать как знак деления. Поэтому дроби (в т.ч. и целые числа как частный случай дробей) обычно называют рациональными числами (от лат. ratio - отношение).
Две дроби n/d и (k?n)/(k?d), где k - целое число, можно рассматривать как равные; например, 4/6 = 2/3. (Здесь n = 2, d = 3 и k = 2.) Это обстоятельство известно как "основное свойство дроби": значение любой дроби не изменится, если числитель и знаменатель дроби умножить (или разделить) на одно и то же число. Отсюда следует, что любую дробь можно записать как отношение двух взаимно простых чисел.
Из предложенной выше интерпретации дроби также следует, что в качестве суммы двух дробей n/d и m/d, имеющих один и тот же знаменатель, следует принять дробь (n + m)/d. При сложении дробей с разными знаменателями нужно сначала преобразовать их, пользуясь основным свойством дроби, в эквивалентные дроби с одинаковым (общим) знаменателем. Например, n1/d1 = (n1?d2)/(d1?d2) и n2/d2 = (n2?d1)/(d1?d2), откуда
Можно было бы поступить иначе и сначала найти наименьшее общее кратное, скажем, m, знаменателей d1 и d2. Тогда существуют целые числа k1 и k2, такие, что m = k1?d1 = k2?d2, и мы получаем:
откуда
При таком способе число m обычно называется наименьшим общим знаменателем двух дробей. Эти два результата эквивалентны по определению равенства дробей.
Произведение двух дробей n1/d1 и n2/d2 принимается равным дроби (n1?n2)/(d1?d2).
Восемь фундаментальных законов, приведенных выше для целых чисел, справедливы и в том случае, если под a, b, c понимать произвольные положительные рациональные числа. Кроме того, если даны два положительных рациональных числа n1/d1 и n2/d2, то мы говорим, что n1/d1 n2/d2 тогда и только тогда, когда n1?d2 n2?d1.
Положительные действительные числа. Применение чисел для измерения длин отрезков прямых наводит на мысль, что для любых двух данных отрезков прямых AB и CD должен существовать некоторый отрезок UV, возможно, очень малый, который можно было бы отложить целое число раз в каждом из отрезков AB и CD. Если такая общая единица измерения длины UV существует, то отрезки AB и CD называются соизмеримыми. Уже в древности пифагорейцы знали о существовании несоизмеримых отрезков прямых. Классический пример - сторона квадрата и его диагональ. Если принять сторону квадрата за единицу длины, то не найдется такого рационального числа, которое могло бы быть мерой диагонали этого квадрата. Убедиться в этом можно, рассуждая от противного. Действительно, предположим, что рациональное число n/d есть мера диагонали. Но тогда отрезок 1/d можно было бы отложить n раз на диагонали и d раз на стороне квадрата вопреки тому, что диагональ и сторона квадрата несоизмеримы. Следовательно, независимо от выбора единицы длины не все отрезки прямых имеют длины, выражаемые рациональными числами. Чтобы все отрезки прямой можно было измерять с помощью некоторой единицы длины, система счисления должна быть расширена таким образом, чтобы она включала числа, представляющие результаты измерения длин отрезков прямых, несоизмеримых с выбранной единицей длины. Эти новые числа называются положительными иррациональными числами. Последние вместе с положительными рациональными числами образуют более широкое множество чисел, элементы которого называются положительными действительными числами.
Если OR - горизонтальная полупрямая, исходящая из точки O, U - точка на OR, отличная от начала координат O, и OU выбран в качестве единичного отрезка, то каждой точке P на полупрямой OR можно поставить в соответствие единственное положительное действительное число p, выражающее длину отрезка OP. Таким образом мы устанавливаем взаимно однозначное соответствие между положительными действительными числами и точками, отличными от O, на полупрямой OR. Если p и q - два положительных действительных числа, соответствующих точкам P и Q на OR, то мы пишем p q, p = q или p < q в зависимости от того, расположена точка P справа от точки Q на OR, совпадает с Q или расположена слева от Q.
Введение положительных иррациональных чисел существенно расширило сферу применимости арифметики. Например, если a - любое положительное действительное число и n - любое целое число, то существует единственное положительное действительное число b, такое, что bn = a. Это число b называется корнем n-й степени из a и записывается как , где символ по своим очертаниям напоминает латинскую букву r, с которой начинается латинское слово radix (корень) и называется радикалом . Можно показать, что
Эти соотношения известны как основные свойства радикалов.
С практической точки зрения очень важно, что любое положительное иррациональное число можно сколь угодно точно аппроксимировать положительным рациональным числом. Это означает, что если r - положительное иррациональное число и e - сколь угодно малое положительное рациональное число, то можно найти положительные рациональные числа a и b, такие, что a < b и b . Например, число иррационально. Если выбрать e = 0,01, то ; если же выбрать e = 0,001, то .
Индо-арабская система счисления. Алгоритмы, или схемы вычислений, арифметики зависят от используемой системы счисления. Совершенно очевидно, например, что методы вычислений, придуманные для римской системы счисления, могут отличаться от алгоритмов, изобретенных для действующей ныне индо-арабской системы. Более того, некоторые системы счисления могут оказаться совсем неподходящими для построения арифметических алгоритмов. Исторические данные свидетельствуют, что до принятия индо-арабской системы обозначения чисел вообще не существовало каких-либо алгоритмов, позволявших достаточно легко с помощью "карандаша и бумаги" выполнять сложение, вычитание, умножение и деление чисел. За долгие годы существования индо-арабской системы были разработаны специально к ней приспособленные многочисленные алгоритмические процедуры, так что наши современные алгоритмы являются продуктом целой эпохи развития и усовершенствования (см. также ЦИФРЫ И СИСТЕМЫ СЧИСЛЕНИЯ) .
В индо-арабской системе счисления каждая запись, обозначающая число, представляет собой набор из десяти основных символов 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, называемых цифрами. Например, индо-арабское обозначение числа четыреста двадцать три имеет вид последовательности цифр 423. Значение цифры в индо-арабской записи числа определяется ее местом, или позицией, в последовательности цифр, образующих эту запись. В приведенном нами примере цифра 4 означает четыре сотни, цифра 2 - два десятка и цифра 3 - три единицы. Очень важную роль играет цифра 0 (нуль), используемая для заполнения пустых позиций; например, запись 403 означает число четыреста три, т.е. отсутствуют десятки. Если a, b, c, d, e означают отдельные цифры, то в индо-арабской системе abcde означает сокращенную запись целого числа
Так как каждое целое число допускает единственное представление в виде
где n - целое число, а a0, a1, ..., an - цифры, мы заключаем, что в данной системе счисления каждое целое число можно представить единственным способом.
Индо-арабская система счисления позволяет сжато записывать не только целые, но и любые положительные действительные числа. Введем обозначение 10?n для 1/10n, где n - произвольное положительное целое число. Тогда, как можно показать, любое положительное действительное число представимо, причем единственным образом, в виде
Эту запись можно сжать, записав в виде последовательности цифр
где знак, называемый десятичной запятой, между a0 и b1 указывает, где начинаются отрицательные степени числа 10 (в некоторых странах с этой целью используется точка). Такой способ записи положительного действительного числа получил название десятичного разложения, а дробь, представленная в виде своего десятичного разложения, - десятичной.
Можно показать, что для положительного рационального числа десятичное разложение после запятой либо обрывается (например, 7/4 = 1,75), либо повторяется (например, 6577/1980 = 3,32171717...). Если число иррационально, то его десятичное разложение не обрывается и не повторяется. Если десятичное разложение иррационального числа на каком-то знаке после запятой оборвать, мы получим его рациональное приближение. Чем дальше справа от запятой расположен знак, на котором мы обрываем десятичное разложение, тем лучше рациональное приближение (тем меньше ошибка).
В индо-арабской системе число записывается с помощью десяти основных цифр, значение которых зависит от их места, или позиции, в записи числа (значение цифры равно произведению цифры на некоторую степень числа 10). Поэтому такая система называется десятичной позиционной системой. Позиционные системы счисления очень удобны для построения арифметических алгоритмов, и именно этим объясняется столь широкое распространение индо-арабской системы счисления в современном мире, хотя в разных странах для обозначения отдельных цифр могут использоваться разные символы.
Названия чисел. Названия чисел в индо-арабской системе строятся по определенным правилам. Наиболее употребительный способ наименования чисел заключается в том, что число прежде всего делят на группы из трех цифр справа налево. Эти группы называются "периодами". Первый период называется периодом "единиц", второй - периодом "тысяч", третий - периодом "миллионов" и т.д., как показано на следующем примере:
Каждый период читается так, как если бы он был трехзначным числом. Например, период 962 читается как "девятьсот шестьдесят два". Чтобы прочитать число, состоящее из нескольких периодов, прочитывается группа цифр в каждом периоде, начиная с самого левого и далее по порядку слева направо; после каждой группы следует название периода. Например, приведенное выше число читается как "семьдесят три триллиона восемьсот сорок два миллиарда девятьсот шестьдесят два миллиона пятьсот тридцать две тысячи семьсот девяносто восемь". Обратите внимание на то, что при чтении и записи целых чисел союз "и" обычно не используется. Название разряда единиц опускается. За триллионами следуют квадриллионы, квинтиллионы, секстиллионы, септиллионы, октиллионы, ноналлионы, дециллионы. Каждый период имеет значение, в 1000 раз превышающее значение предыдущего.
В индо-арабской системе принято придерживаться следующей процедуры чтения цифр, стоящих справа от десятичной запятой. Здесь позиции называются (по порядку слева направо): "десятые", "сотые", "тысячные", "десятитысячные" и т.д. Правильная десятичная дробь читается так, как если бы цифры после десятичной запятой образовывали целое число, после чего добавляется название позиции последней справа цифры. Например, 0,752 читается как "семьсот пятьдесят две тысячных". Смешанное десятичное число читается путем объединения правила наименования целых чисел с правилом наименования правильных десятичных дробей. Например, 632,752 читается как "шестьсот тридцать две целых семьсот пятьдесят две тысячных". Обратите внимание на слово "целых", произносимое перед десятичной запятой. В последние годы десятичные числа все чаще читают более просто, например, 3,782 как "три запятая семьсот восемьдесят два".
Сложение. Теперь мы уже готовы к тому, чтобы проанализировать арифметические алгоритмы, с которыми знакомят в начальной школе. Эти алгоритмы относятся к действиям над положительными действительными числами, записанными в виде десятичных разложений. Мы предполагаем, что элементарные таблицы сложения и умножения выучены наизусть.
Рассмотрим задачу на сложение: вычислить 279,8 + 5,632 + 27,54:
Сначала мы суммируем одинаковые степени числа 10. Число 19?10-1 разбивается по дистрибутивному закону на 9?10-1 и 10?10-1 = 1. Единицу мы переносим влево и прибавляем к 21, что дает 22. В свою очередь, число 22 мы разбиваем на 2 и 20 = 2?10. Число 2?10 переносим влево и прибавляем к 9?10, что дает 11?10. Наконец, 11?10 разбиваем на 1?10 и 10?10 = 1?102, 1?102 переносим влево и прибавляем к 2?102, что дает 3?102. Окончательная сумма оказывается равной 312,972.
Ясно, что проделанные вычисления можно представить в более сжатой форме, заодно использовав ее как пример алгоритма сложения, которому учат в школе. Для этого все три числа мы выписываем одно под другим так, чтобы десятичные запятые оказались на одной вертикали:
Начав справа, находим, что сумма коэффициентов при 10-3 равна 2, что и записываем в соответствующем столбце под чертой. Сумма коэффициентов при 10-2 равна 7, что также записываем в соответствующем столбце под чертой. Сумма коэффициентов при 10-1 равна 19. Число 9 мы записываем под чертой, а 1 переносим в предыдущий столбец, где стоят единицы. С учетом этой единицы сумма коэффициента в этом столбце оказывается равной 22. Мы записываем одну двойку под чертой, а другую переносим в предыдущий столбец, где стоят десятки. С учетом перенесенной двойки сумма коэффициентов в этом столбце равна 11. Одну единицу мы записываем под чертой, а другую переносим в предыдущий столбец, где стоят сотни. Сумма коэффициентов в этом столбце оказывается равной 3, что и записываем под чертой. Требуемая сумма равна 312,972.
Вычитание. Вычитание - это действие, обратное сложению. Если три положительных действительных числа a, b, c связаны между собой так, что a + b = c, то мы записываем a = c - b, где символ "?" читается как "минус". Нахождение числа a по известным числам b и c называется "вычитанием". Число c называется уменьшаемым, число b - "вычитаемым", а число a - "разностью". Поскольку мы имеем дело с положительными действительными числами, должно выполняться условие c b.
Рассмотрим пример на вычитание: вычислить 453,87 - 82,94.
или
Прежде всего, заимствуя в случае необходимости единицу слева, мы преобразуем разложение уменьшаемого так, чтобы его коэффициент при любой степени числа 10 был больше коэффициента вычитаемого при той же степени. Из 4?102 мы заимствуем 1?102 = 10?10, прибавляя последнее число к следующему члену разложения, что дает 15?10; аналогично мы заимствуем 1?100, или 10?10-1, и прибавляем это число к предпоследнему члену разложения. После этого мы получаем возможность произвести вычитание коэффициентов при одинаковых степенях числа 10 и без труда находим разность 370,93.
Запись операций вычитания можно представить в более сжатом виде и получить пример алгоритма вычитания, изучаемого в школе. Запишем вычитаемое под уменьшаемым так, чтобы их десятичные запятые оказались на одной вертикали. Начав справа, найдем, что разность коэффициентов при 10-2 равна 3, и это число запишем в том же столбце под чертой. Так как в следующем столбце слева мы не можем вычесть 9 из 8, мы изменяем тройку в положении единиц уменьшаемого на двойку и рассматриваем число 8 в позиции десятых как 18. После вычитания 9 из 18 мы получаем 9 и т.д., т.е.
Умножение. Рассмотрим сначала т.н. "короткое" умножение - умножение положительного действительного числа на одно из однозначных чисел 1, 2, 3, 4, 5, 6, 7, 8, 9, например, 32,67?4. Пользуясь законом дистрибутивности, а также законами ассоциативности и коммутативности умножения, мы получаем возможность разбивать множители на части и располагать их более удобным образом. Например,
Эти вычисления можно записать более компактно следующим образом:
Процесс сжатия можно продолжить. Запишем множитель 4 под множимым 32,67, как указано:
Так как 4?7 = 28, мы записываем под чертой цифру 8, а 2 помещаем над цифрой 6 множимого. Далее, 4?6 = 24, что с учетом перенесенной из столбца справа дает 26. Цифру 6 мы записываем под чертой, а 2 записываем над цифрой 2 множимого. Затем мы получаем 4?2 = 8, что в сочетании с перенесенной двойкой дает 10. Цифру 0 мы подписываем под чертой, а единицу - над цифрой 3 множимого. Наконец, 4?3 = 12, что с учетом перенесенной единицы дает 13; число 13 записываем под чертой. Поставив десятичную запятую, получаем ответ: произведение равно 130,68.
"Длинное" умножение - это просто неоднократно повторенное "короткое" умножение. Рассмотрим, например, умножение числа 32,67 на число 72,4. Расположим множитель под множимым, как указано:
Производя справа налево короткое умножение, мы получаем первое частное произведение 13,068, второе - 65,34 и третье - 2286,9. По закону дистрибутивности, произведение, которое требуется найти, есть сумма этих частных произведений, или 2365,308. В письменной записи десятичная запятая в частных произведениях опускается, но их нужно правильно располагать "ступеньками", чтобы затем просуммировать и получить полное произведение. Число знаков после десятичной запятой в произведении равно сумме числа знаков после запятых в множимом и множителе.
Деление. Деление - операция, обратная умножению; подобно тому, как умножение заменяет неоднократно повторенное сложение, деление заменяет неоднократно повторенное вычитание. Рассмотрим, например, такой вопрос: сколько раз 3 содержится в 14. Повторяя операцию вычитания 3 из 14, мы находим, что 3 "входит" в 14 четыре раза, и еще "остается" число 2, т.е.
Число 14 называется делимым, число 3 - делителем, число 4 - частным и число 2 - остатком. Словами получившееся соотношение можно выразить так:
делимое = (делитель . частное) + остаток,
где
0 . остаток < делитель.
Чтобы найти частное и остаток от деления 1400 на 3 с помощью многократного вычитания 3, потребовалось бы затратить немало времени и труда. Процедуру можно было бы существенно ускорить, если сначала вычитать из 1400 по 300, затем из остатка по 30 и, наконец, по 3. После четырехкратного вычитания 300 мы получили бы в остатке 200; после шестикратного вычитания из 200 числа 30 остаток оказался бы равным 20; наконец, после шестикратного вычитания из 20 числа 3 мы получим остаток 2. Следовательно,
Частное и остаток, которые требовалось найти, равны, соответственно, 466 и 2. Вычисления можно организовать и затем последовательно подвергнуть сжатию следующим образом:
Приведенные выше рассуждения применимы, если делимое и делитель - любые положительные действительные числа, выраженные в десятичной системе. Проиллюстрируем это на примере 817,65?23,7.
Сначала делитель с помощью сдвига десятичной запятой необходимо превратить в целое число. При этом десятичная запятая делимого сдвигается на такое же число десятичных знаков. Делитель и делимое располагаются, как показано ниже:
Определим, сколько раз делитель содержится в трехзначном числе 817, первой части делимого, которую мы делим на делитель. Так как по оценкам он содержится три раза, мы умножаем 237 на 3 и произведение 711 вычитаем из 817. Разность 106 меньше делителя. Это означает, что число 237 входит в пробное делимое не более трех раз. Цифра 3, написанная под цифрой 2 делителя ниже горизонтальной черты, - первая цифра частного, которое требуется найти. После того, как мы снесем вниз следующую цифру делимого, получится следующее пробное делимое 1066, и надо определить, сколько раз делитель 237 укладывается в числе 1066; предположим, что 4 раза. Умножаем делитель на 4 и получаем произведение 948, которое вычитаем из 1066; разность оказывается равной 118, что означает, что следующая цифра частного равна 4. Затем мы сносим следующую цифру делимого и повторяем всю процедуру, описанную выше. На этот раз оказывается, что пробное делимое 1185 точно (без остатка) делится на 237 (остаток от деления наконец оказывается равным 0). Отделив десятичной запятой в частном столько же знаков, сколько их отделено в делимом (напомним, что ранее мы десятичную запятую переносили), получим ответ: частное равно 34,5.
Дроби. Вычисления с дробями включают сложение, вычитание, умножение и деление, а также упрощение сложных дробей.
Сложение дробей с одним и тем же знаменателем производится путем сложения числителей, например,
1/16 + 5/16 + 7/16 = (1 + 5 + 7)/16 = 13/16.
Если дроби имеют различные знаменатели, то предварительно их необходимо привести к общему знаменателю, т.е. превратить в дроби с одинаковыми знаменателями. Для этого мы находим наименьший общий знаменатель (наименьшее число, кратное каждому из данных знаменателей). Например, при сложении 2/3, 1/6 и 3/5 наименьший общий знаменатель равен 30:
Суммируя, получаем
20/30 + 5/30 + 18/30 = 43/30.
Вычитание дробей производится так же, как их сложение. Если знаменатели одинаковы, то вычитание сводится к вычитанию числителей: 10/13 - 2/13 = 8/13; если дроби имеют различные знаменатели, то предварительно необходимо привести их к общему знаменателю:
7/8 - 3/4 = 7/8 - 6/8 = (7 - 6)/8 = 1/8.
При умножении дробей их числители и знаменатели умножаются отдельно. Например,
5/6?4/9 = 20/54 = 10/27.
Чтобы разделить одну дробь на другую, необходимо умножить первую дробь (делимое) на дробь, обратную второй (делителю) (чтобы получить обратную дробь, надо поменять местами числитель и знаменатель исходной дроби), т.е. (n1/d1)?(n2/d2) = (n1?d2)/(d1?n2). Например,
3/4?7/8 = 3/4?8/7 = 24/28 = 6/7.
Смешанное число представляет собой сумму (или разность) целого числа и дроби, например, 4 + 2/3 или 10 - 1/8. Так как целое число можно рассматривать как дробь с знаменателем, равным 1, смешанное число есть не что иное, как сумма (или разность) двух дробей. Например,
4 + 2/3 = 4/1 + 2/3 = 12/3 + 2/3 = 14/3.
Сложной называется дробь, имеющая дробь либо в числителе, либо в знаменателе, либо в числителе и знаменателе. Такую дробь можно превратить в простую:
Квадратный корень. Если n - положительное действительное число, то существует единственное положительное действительное число r, такое, что r2 = n. Число r называется квадратным корнем из n и обозначается . В школе учат извлекать квадратные корни двумя способами. Первый способ более популярен, поскольку он проще и его легче применять; вычисления по этому методу легко реализуются на настольном калькуляторе и обобщаются на случай кубических корней и корней более высокой степени. Основан метод на том, что если r1 - приближение к корню , то r2 = (1/2)(r1 + n/r1) - более точная аппроксимация корня.
Проиллюстрируем процедуру на примере вычисления квадратного корня из какого-нибудь числа, заключенного между 1 и 100, скажем, числа 40. Так как 62 = 36, а 72 = 49, мы заключаем, что 6 - наилучшее приближение к в целых числах. Более точное приближение к получается из 6 следующим образом. Разделив 40 на 6, получим 6,6 (с округлением до первого после запятой четного числа десятых). Чтобы получить второе приближение к , усредним два числа 6 и 6,6 и получим 6,3. Повторив процедуру, получим еще лучшее приближение. Разделив 40 на 6,3, находим число 6,350, и третье приближение оказывается равным (1/2)(6,3 + 6,350) = 6,325. Еще одно повторение дает 40. 6,325 = 6,3241106, и четвертая аппроксимация оказывается равной (1/2)(6,325 + 6,3241106) = 6,3245553. Процесс может продолжаться сколь угодно долго. В общем случае каждое следующее приближение может содержать вдвое больше цифр, чем предыдущее. Так, в нашем примере, поскольку первое приближение, целое число 6, содержит только одну цифру, мы можем удерживать во втором приближении два знака, в третьем - четыре и в четвертом - восемь.
Если число n не лежит между 1 и 100, то следует предварительно разделить (или умножить) n на некоторую степень числа 100, скажем, на k-ю, чтобы произведение оказалось в интервале от 1 до 100. Тогда квадратный корень из произведения будет находиться в интервале от 1 до 10, и после того, как он будет извлечен, мы, умножив (или разделив) полученное число на 10k, найдем искомый квадратный корень. Например, если n = 400000, то мы сначала делим 400000 на 1002 и получаем число 40, лежащее в интервале от 1 до 100. Как показано выше, приближенно равен 6,3245553. Умножая это число на 102, получаем 632,45553 в качестве приближенного значения для , а число 0,63245553 служит приближенным значением для .
Вторая из упомянутых выше процедур основана на алгебраическом тождестве (a + b)2 = a2 + (2a + b)b. На каждом шаге уже полученная часть квадратного корня принимается за a, а часть, которую еще требуется определить, - за b.
Кубический корень. Для извлечения кубического корня из положительного действительного числа существуют алгоритмы, аналогичные алгоритмам извлечения квадратного корня. Например, чтобы найти кубический корень из числа n, сначала мы аппроксимируем корень некоторым числом r1. Затем строим более точное приближение r2 = (1/3)(2r1 + n/r12), которое в свою очередь уступает место еще более точному приближению r3 = (1/3)(2r2 + n/r22) и т.д. Процедура построения все более точных приближений корня может продолжаться сколь угодно долго.
Рассмотрим, например, вычисление кубического корня из числа, заключенного между 1 и 1000, скажем, числа 200. Так как 53 = 125 и 63 = 216, мы заключаем, что 6 - ближайшее к кубическому корню из 200 целое число. Следовательно, выбираем r1 = 6 и последовательно вычисляем r2 = 5,9, r3 = 5,85, r4 = 5,8480. В каждом приближении, начиная с третьего, разрешается удерживать число знаков, которое на единицу меньше удвоенного числа знаков в предыдущем приближении. Если же число, из которого требуется извлечь кубический корень, не заключено между 1 и 1000, то предварительно его необходимо разделить (или умножить) на некоторую, скажем, k-ю, степень числа 1000 и тем самым привести в нужный интервал чисел. Кубический корень из вновь полученного числа лежит в интервале от 1 до 10. После того, как он будет вычислен, его необходимо умножить (или разделить) на 10k , чтобы получить кубический корень из исходного числа.
Второй, более сложный, алгоритм нахождения кубического корня из положительного действительного числа основан на использовании алгебраического тождества (a + b)3 = a3 + (3a2 + 3ab + b2)b. В настоящее время алгоритмы извлечения кубических корней, равно как и корней более высоких степеней, в средней школе не изучают, так как их легче находить с помощью логарифмов или алгебраическими методами.
Алгоритм Евклида. Этот алгоритм был изложен в Началах Евклида (ок. 300 до н.э.). С его помощью вычисляется наибольший общий делитель двух целых чисел. Для случая положительных чисел он формулируется в виде процедурного правила: "Разделите большее из двух данных чисел на меньшее. Затем разделите делитель на остаток от деления и продолжайте действовать так же, пока последний делитель не разделится нацело на последний остаток. Последний из делителей и будет наибольшим общим делителем двух данных чисел".
В качестве числового примера рассмотрим два целых числа 3132 и 7200. Алгоритм в этом случае сводится к следующим действиям:
Наибольший общий делитель совпадает с последним делителем - числом 36. Объяснение просто. В нашем примере мы видим из последней строки, что число 36 делит число 288. Из предпоследней строки следует, что число 36 делит 324. Так, двигаясь от строки к строке вверх, мы убеждаемся в том, что число 36 делит 936, 3132 и 7200. Мы утверждаем теперь, что число 36 есть общий делитель чисел 3132 и 7200. Пусть g - наибольший общий делитель чисел 3132 и 7200. Так как g делит 3132 и 7200, из первой строки следует, что g делит 936. Из второй строки мы заключаем, что g делит 324. Так, спускаясь от строки к строке, мы убеждаемся в том, что g делит 288 и 36. А так как 36 - общий делитель чисел 3132 и 7200 и делится на наибольший общий их делитель, мы заключаем, что 36 и есть этот наибольший общий делитель.
Проверка. Арифметические вычисления требуют постоянного внимания и, следовательно, чреваты ошибками. Поэтому очень важно проверять результаты вычислений.
1. Сложение столбца чисел можно проверить, сложив числа в столбце сначала сверху вниз, а затем снизу вверх. Обоснованием такого способа проверки служит обобщенный закон коммутативности и ассоциативности сложения.
2. Вычитание проверяется путем сложения разности с вычитаемым - должно получиться уменьшаемое. Обоснованием такого способа проверки служит определение операции вычитания.
3. Умножение можно проверить, переставив множимое и множитель. Обоснованием такого способа проверки служит закон коммутативности умножения. Можно проверить умножение, разбив множитель (или множимое) на два слагаемых, выполнив две отдельные операции умножения и сложив полученные произведения - должно получиться исходное произведение.
4. Чтобы проверить деление, надо умножить частное на делитель и к произведению прибавить остаток. Должно получиться делимое. Обоснованием такого способа проверки служит определение операции деления.
5. Проверка правильности извлечения квадратного (или кубического) корня состоит в возведении полученного числа в квадрат (или куб) - должно получиться исходное число.
Особенно простым и весьма надежным способом проверки сложения или умножения целых чисел служит прием, представляющий собой переход к т.н. "сравнениям по модулю 9". Назовем "избытком" остаток от деления на 9 суммы цифр, которыми записано данное число. Тогда относительно "избытков" можно сформулировать две теоремы: "избыток суммы целых чисел равен избытку суммы избытков слагаемых", и "избыток произведения двух целых чисел равен избытку произведения их избытков". Ниже даются примеры проверок, основанных на этой теореме:
Метод перехода к сравнениям по модулю 9 можно использовать и при проверке других арифметических алгоритмов. Конечно, и такая проверка не является непогрешимой, так как и работа с "избытками" подвержена ошибкам, но такая ситуация маловероятна.
Проценты. Процентом называется дробь, у которой знаменатель равен 100; проценты можно записать тремя способами: как обыкновенную дробь, как десятичную дробь или с помощью специального обозначения процентов %. Например, 7 процентов можно записать как 7/100, как 0,07 или как 7%.
Примером самого распространенного типа задач на проценты может служить следующая: "Найти 17% от 82". Чтобы решить эту задачу, нужно вычислить произведение 0,17?82 = 13,94. В произведениях такого рода 0,17 называется ставкой, 82 - базой, а 13,94 - долей, выраженной в процентах. Три упомянутые величины связаны между собой соотношением
Ставка?. база = доля в процентах.
Если любые две величины известны, третью можно определить из этого соотношения. Соответственно мы получаем три типа задач "на проценты".
Пример 1. Число учащихся, записавшихся в данную школу, выросло с 351 до 396 человек. На сколько процентов возросло это число?
Прирост составил 396 - 351 = 45 человек. Записывая дробь 45/351 в процентах, получаем 45/351 = 0,128 = 12,8%.
Пример 2. Объявление в магазине во время распродажи гласит "Скидка на все товары 25%". Какова цена во время распродажи на товар, который обычно продается за 3,60 доллара?
Снижение цены 3,60 доллара на 25% означает снижение на 0,25?3,60 = 0,90 доллара; следовательно, цена на товар во время распродажи составит 3,60 - 0,90 = 2,70 доллара.
Пример 3. Деньги, положенные в банк под 5% годовых, принесли прибыль в 40 долларов за год. Какая сумма была помещена в банк?
Так как 5% от суммы составляет 40 долларов, т.е. 5/100?. сумма = 40 долларов, или 1/100?. сумма = 8 долларов, вся сумма составляет 800 долларов.
Арифметика приближенных чисел. Многие числа, используемые в вычислениях, возникают либо из измерений, либо из оценок и поэтому могут рассматриваться лишь как приближенные. Очевидно, что результатом вычислений, производимых с приближенными числами, может быть только приближенное число. Например, предположим, что измерения поверхности прилавка дали следующие результаты (с округлением до ближайшей десятой метра): ширина 1,2 м, длина 3,1 м; можно было бы сказать, что площадь прилавка составляет 1,2?3,1 = 3,72 м2. Однако в действительности информация далеко не столь определенна. Так как величина 1,2 м указывает лишь на то, что результат измерения ширины заключен между 1,15 и 1,25 м, а 3,1 - на то, что результат измерения длины заключен между 3,05 и 3,15 м, о площади прилавка можно лишь сказать, что она должна быть больше, чем 1,15?3,05 = 3,5075, но меньше, чем 1,25?3,15 = 3,9375. Следовательно, единственный разумный ответ на вопрос о площади прилавка состоит в утверждении, что она приблизительно равна 3,7 м2.
Рассмотрим далее проблему сложения результатов приближенных измерений 3,73 м, 52,1 м и 0,282 м. Простая сумма равна 56,112 м. Но, как и в предыдущей задаче, все, что можно сказать с уверенностью, так это то, что истинная сумма должна быть больше, чем 3,725 + 52,05 + 0,2815 = 56,0565 м и меньше, чем 3,735 + 52,15 + 0,2825 = 56,1765 м. Таким образом, единственный разумный ответ на вопрос сводится к утверждению, что сумма приближенно равна 56,1 м.
Два приведенных выше примера иллюстрируют некоторые правила, полезные при работе с приближенными числами. Существуют различные способы округления чисел. Один из них состоит в отбрасывании младших разрядов числа. При этом если первая отбрасываемая цифра больше пяти, то последний оставшийся знак надо увеличить на единицу, если меньше, то последний знак оставляемой части сохраняется неизменным.
Если же первая отбрасываемая цифра в точности равна пяти, то последняя сохраняемая цифра увеличивается на единицу, если она нечетная, и остается без изменений, если она четная. Например, при округлении до сотых числа 3,14159;17,7682; 28,999; 0,00234; 7,235 и 7,325 переходят в числа 3,14; 17,77; 29,00; 0,00; 7,24 и 7,32.
Другой способ округления связан с понятием значащих цифр и используется при машинной записи числа. Значащими цифрами приближенного числа называются цифры в его десятичной записи по порядку слева направо, начиная с первой отличной от нуля цифры и кончая той цифрой, которая стоит на месте десятичного знака, соответствующего ошибке. Например, значащими цифрами приближенного числа 12,1 являются цифры 1, 2, 1; приближенного числа 0,072 - цифры 7, 2; приближенного числа 82000, записанного с точностью до сотен, - 8, 2, 0.
Теперь мы сформулируем два упоминавшихся выше правила действий с приближенными числами.
При сложении и вычитании приближенных чисел округлять каждое число следует до знака, следующего по номеру за последним знаком наименее точного числа, а полученную сумму и разность округлять до такого же количества знаков, как у наименее точного числа. При умножении и делении приближенных чисел каждое число следует округлять до знака, следующего по номеру за последней значащей цифрой наименее значащего числа, а произведение и частное округлять с той же точностью, с какой известно наименее точное число.
Возвращаясь к ранее рассмотренным задачам, получаем:
1,2?3,1 = 3,72 м2 . 3,7 м2
и
3,73 + 52,1 + 0,28 = 56,11 м2 . 56,1 м,
где знак . означает "приближенно равно".
В некоторых учебниках арифметики приводятся алгоритмы для работы с приближенными числами, позволяющие избегать при вычислениях лишних знаков. Кроме того, в них используется т.н. запись приближенных чисел, т.е. любое число представляется в виде (число, заключенное в интервале от 1 до 10) . (степень числа 10), где в первом множителе содержатся только значащие цифры числа. Например, 82000 км, округленные до ближайшего числа сотен км, запишется как 8,20?104 км, а 0,00702 см - как 7,02?10-3 см.
Числа в математических таблицах, тригонометрических или таблицах логарифмах, - приближенные, записанные с определенным числом знаков. При работе с такими таблицами следует придерживаться правил для вычислений с приближенными числами.
Логарифмы. К началу 17 в. сложность прикладных вычислительных задач возросла настолько, что справиться с ними "вручную" не представлялось возможным из-за слишком больших затрат труда и времени. К счастью, вовремя изобретенные Дж.Непером в начале 17 в. логарифмы позволили справиться с возникшей было проблемой. Так как теория и приложения логарифмов подробно изложены в специальной статье ЛОГАРИФМ, мы ограничимся лишь самыми необходимыми сведениями.
Можно показать, что если n - положительное действительное число, то существует единственное положительное действительное число x, такое, что 10x = n. Число x называется (обычным или десятичным) логарифмом числа n; условно это записывается так: x = log n. Таким образом, логарифм - это показатель степени, и из законов действий с показателями следует, что
Именно этими свойствами логарифмов объясняется их широкое использование в арифметике. Первое и второе свойства позволяют свести любую задачу на умножение и деление к более простой задаче на сложение и вычитание. Третье и четвертое свойства дают возможность свести возведение в степень и извлечение корня к гораздо более простым действием: умножению и делению.
Для удобства использования логарифмов были составлены их таблицы. Для составления таблицы десятичных логарифмов достаточно включить в них только логарифмы чисел от 1 до 10. Например, так как 247,6 = 102?2,476, имеем: log247,6 = log102 + log2,476 = 2 + log2,476, а так как 0,02476 = 10-2?2,476, то log0,02476 = log10-2 + log2,476 = -2 + log2,476. Заметим, что десятичный логарифм числа, заключенного в интервале от 1 до 10, лежит в интервале от 0 до 1 и может быть записан в виде десятичной дроби. Отсюда следует, что десятичный логарифм любого числа есть сумма целого числа, называемого характеристикой логарифма, и десятичной дроби, называемой мантиссой логарифма. Характеристику логарифма любого числа можно найти "в уме"; мантиссу же следует находить по таблицам логарифмов. Например, из таблиц мы находим, что log2,476 = 0,39375, откуда log247,63 = 2,39375. Если характеристика логарифма отрицательна (когда число меньше единицы), то ее удобно представить в виде разности двух положительных целых чисел, например, log0,02476 = -2 + 0,39375 = 8,39375 - 10. Следующие примеры поясняют этот прием.
Чтобы найти произведение
x = 41,639?159,28???0037456,
мы по пятизначным таблицам логарифмов находим нужные мантиссы 0,61950; 0,20216 и 0,57352. Соответственно, логарифмы множителей равны
Складывая их, получаем
Еще один пример. Чтобы найти , мы находим, что log0,68317 = 9,83453 - 10. Так как для нахождения кубического корня, необходимо разделить полученное значение логарифма на 3, удобнее представить логарифм в виде 29,83453 - 30. Тогда log x = (1/3)log0,68317 = 9,94484 - 10; x = 0,88072.
Так как log n в общем случае - число иррациональное, в таблицах приводятся значения логарифмов с определенным числом десятичных знаков, и можно выбрать те из них, которые лучше всего соответствуют решаемой задаче. До появления современных компьютеров практически все длинные и сложные вычисления выполнялись с помощью таблиц логарифмов.
Арифметика         
  • <math>3+2=5</math>
  • [[Вавилонские цифры]]
  • Переместительный закон умножения
  • right
  • Деление 20 на 4
  • Страница латинского перевода книги «Об индийском счёте»
  • аксиомы натуральных чисел]]
  • Индийские цифры (I век н. э.) и соответствующие им современные цифры
  • Мартин де Вос]]. Семь сестёр. 1590
  • Числовая ось
  • Часть папируса Райнда
  • thumb
  • <math>5-2=3</math>
  • Арифметические таблицы. 1835
  • Одно яблоко, два яблока, три яблока. Натуральные числа
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЧИСЛА, ИХ ОТНОШЕНИЯ И СВОЙСТВА
Арифметика, наука
(греч. arithmetika, от arithmys - число)

наука о числах, в первую очередь о натуральных (целых положительных) числах и (рациональных) дробях, и действиях над ними.

Владение достаточно развитым понятием натурального числа и умение производить действия с числами необходимы для практической и культурной деятельности человека. Поэтому А. является элементом дошкольного воспитания детей и обязательным предметом школьной программы.

С помощью натуральных чисел конструируются многие математические понятия (например, основное понятие математического анализа - действительное число). В связи с этим А. является одной из основных математических наук. Когда делается упор на логический анализ понятия числа (См. Число), то иногда употребляют термин теоретическая арифметика. А. тесно связана с алгеброй (См. Алгебра), в которой, в частности, изучаются действия над числами без учёта их индивидуальных свойств. Индивидуальные свойства целых чисел составляют предмет чисел теории (См. Чисел теория).

Историческая справка. Возникнув в глубокой древности из практических потребностей счёта и простейших измерений, А. развивалась в связи с усложнением хозяйственной деятельности и социальных отношений, денежными расчётами, задачами измерений расстояний, времени, площадей и требованиями, которые предъявляли к ней другие науки.

О возникновении счёта и о начальных стадиях образования арифметических понятий судят обычно по наблюдениям, относящимся к процессу счёта у первобытных народов, и, косвенным образом, путём изучения следов аналогичных стадий, сохранившихся в языках культурных народов и наблюдающихся при усвоении этих понятий детьми. Эти данные говорят о том, что развитие тех элементов мыслительной деятельности, которые лежат в основе процесса счёта, проходит ряд промежуточных этапов. К ним относятся: умение узнавать один и тот же предмет и различать предметы в подлежащей счёту совокупности предметов; умение устанавливать исчерпывающее разложение этой совокупности на элементы, отличимые друг от друга и вместе с тем равноправные при счёте (пользование именованной "единицей" счёта); умение устанавливать соответствие между элементами двух множеств, вначале непосредственно, а затем сопоставлением их с элементами раз навсегда упорядоченной совокупности объектов, т. е. совокупности объектов, расположенных в определённой последовательности. Элементами такой стандартной упорядоченной совокупности становятся слова (числительные), применяемые при счёте предметов любой качественной природы и отвечающие образованию отвлечённого понятия числа. При самых различных условиях можно наблюдать сходные особенности постепенного возникновения и усовершенствования перечисленных навыков и отвечающих им арифметических понятий.

Сначала счёт оказывается возможным лишь для совокупностей из сравнительно небольшого числа предметов, за пределами которого количественные различия осознаются смутно и характеризуются словами, являющимися синонимами слова "много"; при этом орудием счёта служат зарубки на дереве ("бирочный" счёт), счётные камешки, чётки, пальцы рук и т.п., а также множества, заключающие постоянное число элементов, например: "глаза" - как синоним числительного "два", кисть руки ("пясть") - как синоним и фактическая основа числительного "пять", и т.п.

Словесный порядковый счёт (раз, два, три и т.д.), прямую зависимость которого от пальцевого счёта (последовательное произнесение названий пальцев, частей рук) в некоторых случаях можно проследить непосредственно, связывается в дальнейшем со счётом групп, содержащих определённое число предметов. Это число образует основание соответствующей системы счисления, обычно, в результате счёта по пальцам двух рук, равное 10. Встречаются, однако, и группировки по 5, по 20 (французское 80 "quatre-vingt" = 4 × 20), по 40, по 12 ("дюжина"), по 60 и даже по 11 (Новая Зеландия). В эпоху развитых торговых сношений способы нумерации (как устной, так и письменной) естественно обнаруживали тенденцию к единообразию у общавшихся между собой племён и народностей; это обстоятельство сыграло решающую роль в установлении и распространении применяемой в наст. время системы нумерации (счисления (См. Счисление)), принципа поместного (поразрядного) значения цифр и способов выполнения арифметических действий. По-видимому, аналогичными причинами объясняется и общеизвестное сходство имён числительных в различных языках: например, два - dva (санскр.), δυο (греч.), duo (лат.), two (англ.).

Источником первых достоверных сведений о состоянии арифметических знаний в эпоху древних цивилизаций являются письменные документы Др. Египта (Папирусы математические), написанные приблизительно за 2 тыс. лет до н. э. Это - сборники задач с указанием их решений, правил действий над целыми числами и дробями со вспомогательными таблицами, без каких бы то ни было пояснений теоретического характера. Решение некоторых задач в этом сборнике производится, по существу, с помощью составления и решения уравнений; встречаются также арифметические и геометрические прогрессии.

О довольно высоком уровне арифметической культуры вавилонян за 2-3 тыс. лет до н. э. позволяют судить Клинописные математические тексты. Письменная нумерация вавилонян в клинописных текстах представляет собой своеобразное соединение десятичной системы (для чисел, меньших 60) с шестидесятиричной, с разрядными единицами 60, 602 и т.д. Наиболее существенным показателем высокого уровня А. является употребление шестидесятиричных дробей с распространением на них той же системы нумерации, аналогично современным десятичным дробям. Техника выполнения арифметических действий у вавилонян, в теоретическом отношении аналогичная обычным приёмам в десятичной системе, осложнялась необходимостью прибегать к обширным таблицам умножения (для чисел от 1 до 59). В сохранившихся клинописных материалах, представлявших собой, по-видимому, учебные пособия, находятся, кроме того, и соответствующие таблицы обратных чисел (двузначные и трёхзначные, т. е. с точностью до 1/602 и 1/603), применявшихся при делении.

У древних греков практическая сторона А. не получила дальнейшего развития; применявшаяся ими система письменной нумерации с помощью букв алфавита была значительно менее приспособлена для производства сложных вычислений, нежели вавилонская (показательно, в частности, что древнегреческие астрономы предпочитали пользоваться шестидесятиричной системой). С другой стороны, древнегреческие математики положили начало теоретической разработке А. в части, касавшейся учения о натуральных числах, теории пропорций, измерения величин и - в неявной форме - также и теории иррациональных чисел. В "Началах" Евклида (3 в. до н. э.) имеются сохранившие своё значение и до сих пор доказательство бесконечности числа простых чисел, основные теоремы о делимости, алгоритмы для нахождения общей меры двух отрезков и общего наибольшего делителя двух чисел (см. Евклида алгоритм), доказательство несуществования рационального числа, квадрат которого равен 2 (иррациональность числа √2), и изложенная в геометрической форме теория пропорций. К рассматривавшимся теоретико-числовым задачам относятся задачи о совершенных числах (См. Совершенные числа) (Евклид), о пифагоровых числах (См. Пифагоровы числа), а также - уже в более позднюю эпоху - алгоритм для выделения простых чисел (Эратосфена решето) и решение ряда неопределённых уравнений 2-й и более высоких степеней (Диофант).

Существенную роль в образовании понятия бесконечного натурального ряда чисел сыграл "Псаммит" Архимеда (3 в. до н. э.), в котором доказывается возможность именовать и обозначать сколь угодно большие числа. Сочинения Архимеда свидетельствуют о довольно высоком искусстве в получении приближённых значений искомых величин: извлечение корня из многозначных чисел, нахождение рациональных приближений для иррациональных чисел, например

Римляне не продвинули вперёд технику вычислений, оставив, однако, дошедшую до нашего времени систему нумерации (Римские цифры), мало приспособленную для производства действий и применяемую в настоящее время почти исключительно для обозначения порядковых чисел.

Трудно проследить преемственность в развитии математики в отношении предыдущих, более древних, культур; однако чрезвычайно важные этапы в развитии А. связываются с культурой Индии, оказавшей влияние как на страны Передней Азии и Европы, так и на страны Вост. Азии (Китай, Япония). Помимо применения алгебры к решению задач арифметического содержания, наиболее существенная заслуга индийцев - введение позиционной системы счисления (с применением десяти цифр, включая нуль для обозначения отсутствия единиц в каком-либо из разрядов), сделавшей возможной разработку сравнительно простых правил выполнения основных арифметических действий.

Учёные средневекового Востока не только сохранили в переводах наследие древнегреческих математиков, но и содействовали распространению и дальнейшему развитию достижений индийцев. Методы выполнения арифметических действий, в значительной части ещё далёкие от современных, но уже использующие преимущества позиционной системы счисления, с 10 в. н. э. стали постепенно проникать в Европу, раньше всего в Италию и Испанию.

Сравнительно медленный прогресс А. в средние века сменяется к началу 17 в. быстрым усовершенствованием приёмов вычисления в связи с возросшими практическими запросами к технике вычислений (задачи мореходной астрономии, механики, усложнившиеся коммерческие расчёты и т.п.). Дроби со знаменателем 10, употреблявшиеся ещё индийцами (при извлечении квадратных корней) и неоднократно обращавшие на себя внимание и европейских учёных, применялись сначала в неявной форме в тригонометрических таблицах (в форме целых чисел, выражающих длины линий синуса, тангенса и т.д. при радиусе, принятом за 105). Впервые (1427) подробно описал систему десятичных дробей и правила действий над ними аль-Каши. Запись десятичных дробей, по существу совпадающая с современной, встречается в сочинениях С. Стевина в 1585 и с этого времени получает повсеместное распространение. К той же эпохе относится изобретение логарифмов в начале 17 в. Дж. Непером. В начале 18 в. приёмы выполнения и записи вычислений приобретают современную форму.

В России до начала 17 в. применялась нумерация, сходная с греческой; хорошо и своеобразно была разработана система устной нумерации, доходившая до 50-го разряда. Из русских арифметических руководств начала 18 в. наибольшее значение имела высоко оцененная М. В. Ломоносовым "Арифметика" Л. Ф. Магницкого (См. Магницкий) (1703). В ней содержится следующее определение А.: "Арифметика или числительница, есть художество честное, независтное, и всем удобопонятное, многополезнейшее, и многохвальнейшее, от древнейших же и новейших, в разные времена живших изряднейших арифметиков, изобретенное, и изложенное". Наряду с вопросами нумерации, изложением техники вычисления с целыми числами и дробями (в т. ч. и десятичными) и соответствующими задачами в этом руководстве содержатся и элементы алгебры, геометрии и тригонометрии, а также ряд практических сведений, относящихся к коммерческим расчётам и задачам навигации. Изложение А. приобретает уже более или менее современный вид у Л. Эйлера и его учеников.

Теоретические вопросы арифметики. Теоретическая разработка вопросов, касающихся учения о числе и учения об измерении величин, не может быть оторвана от развития математики в целом: решающие этапы её связаны с моментами, определявшими в равной мере и развитие алгебры, геометрии и анализа. Наиболее важным надо считать создание общего учения о Величинах, соответствующего абстрактного учения о числе (См. Число) (целом, рациональном и иррациональном) и буквенного аппарата алгебры.

Фундаментальное значение А. как науки, достаточной для изучения непрерывных величин различного рода, было осознано лишь к концу 17 в. в связи со включением в А. понятия иррационального числа, определяемого последовательностью рациональных приближений. Немаловажную роль при этом сыграли аппарат десятичных дробей и применение логарифмов, расширивших область осуществляемых с требуемой точностью операций над действительными числами (иррациональными наравне с рациональными).

И. Ньютон, впервые высказавший общее определение числа как отношения двух значений какой-либо величины, всё ещё избегал, однако, записывать найденные им законы в виде формул, выражающих значение одной из величин через значения других, неоднородных с ней, и предпочитал придавать такого рода соотношениям форму пропорций. Например, у12 = x2/x2 вместо соответствующей формулы

Современная точка зрения, согласно которой все буквы в формулах означают просто числа и действия производятся над числами, равноправными между собой, независимо от их конкретного происхождения, ещё и сейчас в элементарном преподавании иногда осознаётся не в достаточной степени (это сказывается в наименованиях при записи действий, в избыточной осторожности при определении производных физ. величин и т.п.).

Аксиоматическое построение арифметики. Начало следующего этапа - аксиоматических построение А. - относится уже к 19 в. и связано с общим процессом критического пересмотра логических основ математики, в котором важнейшую роль сыграли, в частности, работы Н. И. Лобачевского (См. Лобачевский) по геометрии. Самая простота и очевидная бесспорность начальных положений А. затрудняли выделение основных положений - аксиом и определений, которые могли бы служить исходным пунктом построения теории. Первые намёки на возможность такого построения имеются уже в доказательстве соотношения 2 × 2= 4, данном Г. Лейбницем (см. ниже).

Лишь в сер. 19 в. Г. Грасману удалось выбрать систему основных аксиом, определяющих действия сложения и умножения так, чтобы остальные положения А. вытекали из неё как логическое следствие. Если иметь в виду натуральный ряд чисел, начиная от 1, и определить 2 как 1+1, 3 как 2+1, 4 как 3+1 и т.д., то одного общего положения а +(b + 1) = (а + b)+ 1, принимаемого в качестве аксиомы или определения сложения, оказывается достаточно для того, чтобы не только вывести формулы частного типа, как, например, 3+2 = 5, но, пользуясь методом математической индукции (См. Математическая индукция), доказать и общие свойства сложения, верные для любых натуральных чисел, - переместительный и сочетательный законы. Подобную же роль для умножения играют формулы а·1 = а и а (b + 1) = ab + а. Так, упомянутое выше доказательство соотношения 2·2 = 4 можно представить в виде цепочки равенств, вытекающей из приведённых здесь формул и определения чисел 2, 3 и 4, именно: 2·2 = 2(1 + 1) = 2·1 + 2·1 = 2 + 2 = 2 + (1 + 1) = (2 + 1) + 1 = 3 + 1 = 4.

После доказательства переместительного (см. Коммутативность), сочетательного (см. Ассоциативность) и распределительного (см. Дистрибутивность) (по отношению к сложению) законов действия умножения дальнейшее построение теории арифметических действий над натуральными числами не представляет уже принципиальных затруднений. Если оставаться на том же уровне абстракции, то дробные числа приходится вводить как пары целых чисел (числитель и знаменатель), подчинённые определённым законам сравнения и действий (см. Дробь).

Построение Грасмана было завершено в дальнейшем работами Дж. Пеано, в которых отчётливо выделена система основных (не определяемых через другие понятия) понятий, именно: понятие натурального числа, понятие следования одного числа непосредственно за другим в натуральном ряде и понятие начального члена натурального ряда (за который можно принять 0 или 1). Эти понятия связаны между собой пятью аксиомами, которые можно рассматривать как аксиоматическое определение указанных основных понятий.

Аксиомы Пеано: 1) 1 есть натуральное число; 2) следующее за натуральным числом есть натуральное число; 3) 1 не следует ни за каким натуральным числом; 4) если натуральное число а следует за натуральным числом b и за натуральным числом с, то b и с тождественны; 5) если какое-либо предложение доказано для 1 и если из допущения, что оно верно для натурального числа n, вытекает, что оно верно для следующего за п натурального числа, то это предложение верно для всех натуральных чисел. Эта аксиома - аксиома полной индукции - даёт возможность в дальнейшем пользоваться грасмановскими определениями действий и доказывать общие свойства натуральных чисел.

Эти построения, дающие решение задачи обоснования формальных положений А., оставляют в стороне вопрос о логической структуре А. натуральных чисел в более широком смысле слова, с включением тех операций, которые определяют собой приложения А. как в рамках самой математики, так и в практической жизни. Анализ этой стороны вопроса, выяснив содержание понятия количественного числа, вместе с тем показал, что вопрос об обосновании А. тесно связан с более общими принципиальными проблемами методологического анализа математических дисциплин. Если простейшие предложения А., относящиеся к элементарному счёту объектов и являющиеся обобщением многовекового опыта человечества, естественно укладываются в простейшие логической схемы, то А. как математическая дисциплина, изучающая бесконечную совокупность натуральных чисел, требует исследования непротиворечивости соответствующей системы аксиом и более детального анализа смысла вытекающих из неё общих предложений.

Лит.: Клейн Ф., Элементарная математика с точки зрения высшей, пер. с нем. т. 3 изд., т. 1, М.-Л., 1935; Арнольд И. В., Теоретическая арифметика, 2 изд., М., 1939; Беллюстин В. К., Как постепенно дошли люди до настоящей арифметики, М., 1940; Гребенча М. К., Арифметика, 2 изд., М., 1952; Берман Г. Н., Число и наука о ней, 3 изд., М., 1960; Дептяан И. Я., История арифметики, 2 изд., М., 1965; Выгодский М. Я., Арифметика и алгебра в Древнем мире, 2 изд., М., 1967.

И. В. Арнольд.

Википедия

Аксиомы Пеано

Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в 1889 году итальянским математиком Джузеппе Пеано.

Аксиомы Пеано позволили формализовать арифметику, доказать многие свойства натуральных и целых чисел, а также использовать целые числа для построения формальных теорий рациональных и вещественных чисел. В сокращённом виде аксиомы Пеано использовались в ряде метаматематических разработок, включая решение фундаментальных вопросов о непротиворечивости и полноте теории чисел.

Изначально Пеано постулировал девять аксиом. Первая утверждает существование по меньшей мере одного элемента множества чисел. Следующие четыре — общие утверждения о равенстве, отражающие внутреннюю логику аксиоматики и исключённые из современного состава аксиом, как очевидные. Следующие три — аксиомы на языке логики первого порядка о выражении натуральных чисел через фундаментальное свойство функции следования. Девятая и последняя аксиома на языке логики второго порядка — о принципе математической индукции над рядом натуральных чисел. Арифметика Пеано — система, получаемая заменой аксиомы индукции системой аксиом на языке логики первого порядка и добавлением символов операций сложения и умножения.

Что такое Форм<font color="red">а</font>льная арифм<font color="red">е</font>тика - определение